922 research outputs found

    Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle

    Get PDF

    Rehabilitation of a Child with Neonatal Brachial Plexus Palsy: Case Report Described by Parents

    Get PDF
    This paper presents a case report of a child with Neonatal Brachial Plexus Palsy on the right arm, with C5, C6, and C7 nerve injuries. The symptoms presented at birth and at the time of diagnosis were absence of movement in the right arm but with mobility of the fingers; internal rotation of the injured limb with elbow extension; active flexion of the wrist and fingers; and ulnar deviation of the hand. The rehabilitation plan followed the conservative approach and included different intervention strategies (passive and active mobilisation, kinesio tape, use of splints, bimanual stimulation, etc.) carried out by the occupational therapist and the physical therapist. The rehabilitation allowed the child to have a functional limb for daily activities, with bimanual motor integration and coordination; passive and active range of motion in the different joints except for pronation, sensibility, and maintained strength. In conclusion, it can be said that this case report describes a set of rehabilitation strategies that were used in the conservative treatment of a child with NBPP and the functional gains they allowed. Early intervention, parental involvement in the rehabilitation process, and continuous follow-up of the child favoured the prognosis and allowed the prevention of functional sequelae of the limb.info:eu-repo/semantics/publishedVersio

    A fine-tuned global distribution dataset of marine forests

    Get PDF
    Species distribution records are a prerequisite to follow climate-induced range shifts across space and time. However, synthesizing information from various sources such as peer-reviewed literature, herbaria, digital repositories and citizen science initiatives is not only costly and time consuming, but also challenging, as data may contain thematic and taxonomic errors and generally lack standardized formats. We address this gap for important marine ecosystem-structuring species of large brown algae and seagrasses. We gathered distribution records from various sources and provide a fine-tuned dataset with ~2.8 million dereplicated records, taxonomically standardized for 682 species, and considering important physiological and biogeographical traits. Specifically, a flagging system was implemented to signal potentially incorrect records reported on land, in regions with limiting light conditions for photosynthesis, and outside the known distribution of species, as inferred from the most recent published literature. We document the procedure and provide a dataset in tabular format based on Darwin Core Standard (DwC), alongside with a set of functions in R language for data management and visualization.FCT: (SFRH/BPD/111003/2015) / (SFRH/BSAB/150485/2019) / (SFRH/BD/144878/2019)(PTDC/MAREST/6053/2014) / MARFOR (BIODIVERSA/004/2015) / UIDB/04326/2020info:eu-repo/semantics/publishedVersio

    Introdução ao sistema COQ de assistência à prova

    Get PDF

    Comunicação, concorrência e processos

    Get PDF
    Texto de apoio escrito no âmbito da disciplina de Opção I - Processos, Objectos e Comunicação (1994/95), leccionada à Lic. em Matemática e Ciências de Computação

    A gestão de sintomas do doente em tratamento por Quimioterapia e os métodos de informação utilizados pelos enfermeiros

    Get PDF
    Introdução: O diagnóstico de cancro está frequentemente associado a tratamentos prolongados, dolorosos, em que a gestão dos sintomas dos efeitos secundários é difícil e por vezes devastadora. Os enfermeiros que prestam cuidados em hospital de dia de quimioterapia caracterizam-se pela avaliação e intervenção rápida de forma a dar resposta, num curto espaço de tempo, às necessidades reais/potenciais do doente (Glennon, 2005). Importa, por isso, saber e procurar optimizar a forma como o fazem. Objetivo: Conhecer e comparar estudos de qualidade que permitam, identificar métodos de informação utilizados pelos enfermeiros que contribuem para a gestão de sintomas dos doentes em tratamento por quimioterapia. Metodologia: Foram incluídos 7 estudos seleccionados a partir da pesquisa em bases de dados electrónicas (EBSCO), com diferentes desenhos de investigação, em que os participantes eram todos doentes com cancro em tratamento por quimioterapia. Resultados: Os vários métodos de informação utilizados pelos enfermeiros na gestão dos sintomas dos doentes em quimioterapia revistos nesta revisão mostraram alguma eficácia no controlo dos sintomas, e são uma mais-valia no processo de comunicação/educação entre o enfermeiro/doente. Devem ser, no entanto, um complemento e não um substituto no processo de cuidados. Conclusões: A eficácia da gestão dos sintomas do doente em tratamento por quimioterapia depende das intervenções de enfermagem nomeadamente na utilização de vários métodos de colheita de informação. A utilização de dispositivos de multimédia pode contribuir positivamente para melhorar o impacto de efeitos secundários relacionados com o tratamento. Isto sugere, que as necessidades educacionais e de informação dos doentes são imensas, com impacto na capacidade do indivíduo para compreender como e quando iniciar estratégias recomendadas para o auto cuidado. Os enfermeiros devem, desenvolver estratégias para optimizar os cuidados ao doente convertendo-se num elemento fundamental na garantia da qualidade de vida

    Capacitar o cuidador do doente oncológico com doença avançada, para a gestão da dor no domicílio, através de um Programa educacional

    Get PDF
    Introdução: Um programa educacional de intervenções de enfermagem direccionado ao cuidador, relativamente à gestão da dor poderá ter resultados no controlo da dor do doente oncológico em domicílio. Objetivo: Conhecer e analisar estudos sobre a temática “Programa educacional ao cuidador do doente oncológico com dor no domicílio”. Metodologia: No planeamento e condução desta Revisão Sistemática foi utilizada a metodologia PICO(D). Foram seleccionados a partir da pesquisa em bases de dados electrónicas (EBSCO), cinco estudos, um de natureza qualitativa, outro de natureza quantitativa e um secundário RSL, posteriormente e após analisar o estudo de revisão sistemática da literatura incluíram-se dois estudos experimentais, cuja população não era o cuidador, mas sim o doente oncológico Resultados: Existem alguns trabalhos que apresentam dados sobre o desenvolvimento de programas educativos como intervenção de enfermagem, nomeadamente como deverá ser desenvolvido este programa e como poderão ser avaliados os resultados. Não foram encontrados estudos primários relativamente à eficácia dum programa educativo ao cuidador do doente oncológico com dor no domicílio. Foram encontrados dois estudos que comprovam a eficácia dum programa educacional, mas aplicado ao doente oncológico no domicílio, este programa educativo, poderá vir a ser desenvolvido com o cuidador. Os estudos primários e secundários, comprovam as necessidades de informação e apoio por parte do cuidador na gestão e controlo da dor. Conclusões: Foram identificadas no cuidador do doente oncológico com dor no domicílio, necessidades de informação, treino e apoio de enfermagem. O familiar cuidador do doente oncológico com doença avançada e dor no domicílio é um elemento muito importante na equipa de saúde. Um programa educacional de gestão da dor, estruturado e formalizado, que vá de encontro às necessidades apresentadas pelo cuidador e que seja aplicado de forma gradual, contribui para o envolvimento do cuidador na gestão da dor e capacita o mesmo para o auto cuidado. Palavras chave: Dor, Cuidador, programas educativos, doente oncológico Referências bibliográficas: Jung-Eun, K., Dodd, M., West, C., Paul, S., Facione, N., Schumacher, K., & ... Miaskowski, C. (2004). The PRO-SELF© Pain Control Program Improves Patients' Knowledge of Cancer Pain Management. Oncology Nursing Forum, 31(6), 1137-1143. doi:10.1188/04.ONF.1137-1143 Kim,J.,Dodd,M.,West,C.,Paul,S.,Facione,N.,Schumacher,K.,&...Miaskowski,C.(2004).ThePRO-SELF pain control program improves patients' knowledge of cancer pain management. Oncology Nursing Forum, 31(6), 1137-1143. Retrieved from EBSCOhost. Tsigaroppoulos, T., Mazaris, E., Chatzidarellis, E., Skolarikos, A., Varkarakis, I., & Deliveliotis, C. (2009). Problems faced by relatives caring for cancer patients at home. International Journal Of Nursing Practice, 15(1), 1-6. Retrieved from EBSCOhost. Vallerand, A., Riley-Doucet, C., Hasenau, S., & Templin, T. (2004). Improving cancer pain management by homecare nurses. Oncology Nursing Forum, 31(4), 809-816. Retrieved fro

    Navegar é preciso...

    Get PDF
    Introdução simples à situação actual das redes de computadores em Portugal, assim como à rede Internet e aos protocolos de comunicação mais utilizados nessa rede (telnet, ftp, finger, mail, gofer, http, ...). Os destinatários são todas as pessoas que pretendam iniciar-se ou aprender mais qualquer coisa sobre os "segredos" da comunicação e navegação numa rede de computadores

    Foundational certification of data-flow analyses

    Get PDF
    Data-flow analyses, such as live variables analysis, available expressions analysis etc., are usefully specifiable as type systems. These are sound and, in the case of distributive analysis frameworks, complete wrt. appropriate natural semantics on abstract properties. Applications include certification of analyses and "optimization" of functional correctness proofs alongside programs. On the example of live variables analysis, we show that analysis type systems are applied versions of more foundational Hoare logics describing either the same abstract property semantics as the type system (liveness states) or a more concrete natural semantics on transition traces of a suitable kind (future defs and uses). The rules of the type system are derivable in the Hoare logic for the abstract property semantics and those in turn in the Hoare logic for the transition trace semantics. This reduction of the burden of trusting the certification vehicle can be compared to foundational proof-carrying code, where general-purpose program logics are preferred to special-purpose type systems and universal logic to program logics. We also look at conditional liveness analysis to see that the same foundational development is also possible for conditional data-flow analyses proceeding from type systems for combined “standard state and abstract property” semantics.Fundação para a Ciência e a Tecnologia (FCT
    corecore